Fundamental local equivalences in quantum geometric Langlands

In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in classical theory. Gaitsgory--Lurie proposed conjectural substitute, later termed fundamental local equivalence. With few exceptions, we prove this conjecture and its extension to affine flag variety by using what amount Soergel module techniques.